type check перевод

• контроль соответствия типов

• double type-bar check:    полигр. контроль за сдвоенным ударом (на клавиатуре)
• check:    1) препятствие, остановка; задержка Ex: to serve as a check служить препятствием; обуздывать Ex: wind acts as a check on speed ветер мешает быстрой езде Ex: his illness gave a check to our plans его
• check for:    чек на сумму

Примеры

UObject uses C++ templates to transparently map any requested method to an interface machinery that takes care of the type checking.
UObject использует шаблоны C++ для прозрачного отображения любого требуемого метода в механизм интерфейса, который берет на себя проверку типов.

If arbitrary values are allowed in dependent types, then deciding type equality may involve deciding whether two arbitrary programs produce the same result; hence type checking may become undecidable.
Если в зависимых типах допущено использование произвольных значений, то решение о равенстве типов может включать в себя проверку равенства результата работы двух произвольных программ.